Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
91	GROSS SUBSTITUTABILITY : AN ALGORITHMIC SURVEY RENATO PAES LEME∗ Abstract. The concept of gross substitute valuations was introduced by Kelso and Crawford as a sufficient conditions for the existence of Walrasian equil Add to Reading List Source URL: www.renatoppl.com Language: English - Date: 2013-11-28 12:54:41 Auction theory Mathematics Submodular set function Competitive equilibrium Theoretical computer science Valuation Gross substitutes Software engineering Pure Combinatory logic
92	Automatic Proof and Disproof in Isabelle/HOL Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow Fakult¨at f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. Isabelle/HOL is a popular interactive t Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-05-21 06:02:19 Theoretical computer science Software engineering Programming language theory Logic in computer science Proof assistants Formal methods Automated theorem proving Isabelle Satisfiability modulo theories ACL2 Curry Logic for Computable Functions
93	CANONICAL SUBGROUPS VIA BREUIL-KISIN MODULES FOR p = 2 SHIN HATTORI Abstract. Let p be a rational prime and K/Qp be an extension of complete discrete valuation fields. Let G be a truncated Barsotti-Tate group of level n, Add to Reading List Source URL: www2.math.kyushu-u.ac.jp Language: English Algebra Abstract algebra Group theory Algebraic number theory Galois theory Frobenius group Galois module Order Free group Linear temporal logic
94	REASONING-BASED STRATEGIES FOR PROCESSING COMPLEX SPATIAL QUERIES Ilya Zaslavsky, Assistant Professor, Department of Geography, Western Michigan University, U.S.A. ABSTRACT Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 22:37:36 Logic Epistemology Cognition Reasoning Determinacy Geographic information system Inference Spatialtemporal reasoning Uncertainty Reasoning system Probabilistic logic Reason
95	Uniform interpolation and sequent calculi in modal logic Rosalie Iemhoff∗ March 28, 2015 Abstract Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2015-04-01 07:45:41 Logic Mathematical logic Mathematics Proof theory Automated theorem proving Craig interpolation Lemmas Non-classical logic Sequent Propositional calculus First-order logic Modal logic
96	The Threat of Algocracy: Reality, Resistance and Accommodation By John Danaher Forthcoming in Philosophy and Technology Abstract Add to Reading List Source URL: philpapers.org Language: English Cognitive science Academia Cybernetics Science and technology Formal sciences Algorithm Mathematical logic Theoretical computer science Big data Machine learning Legitimacy Artificial intelligence
97	A tetrachotomy for positive first-order logic without equality Florent Madelaine Barnaby Martin Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2011-07-07 14:48:20 Mathematics Theoretical computer science Abstract algebra FO Finite model theory Sheaf Boolean satisfiability problem Uniform space
98	RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky Add to Reading List Source URL: rdp15.mimuw.edu.pl Language: English - Date: 2015-07-08 00:48:54 Mathematics Academia Mathematical logic Type theory Abstract algebra Logic in computer science Mathematical structures Formal methods Intuitionistic type theory Expression Lambda calculus Universal algebra
99	Representation of Continuous Fields Andrej Vckovski University of Ziirich Winterthurerstr. 190, CH-8057 Ziirich, Switzerland vckovski@gis. geogr. imizh. ch Abstract Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 22:26:47 Computing Knowledge Information technology Fuzzy logic Data management Data Geographic information system Fuzzy set Statistics Set Type-2 fuzzy sets and systems Geospatial metadata
100	Abstract Features in Feature Modeling Thomas Th¨um∗ , Christian K¨astner† , Sebastian Erdweg† , and Norbert Siegmund∗ ∗ University † Philipps of Magdeburg, Germany Add to Reading List Source URL: wwwiti.cs.uni-magdeburg.de Language: English - Date: 2011-06-11 06:47:51 Logic Abstraction Propositional calculus Syntax Mathematics Logic in computer science Formal methods Feature model Semantics Product family engineering Software Product Lines Online Tools Boolean algebra

UPDATE